théorème d'élimination des coupures中文是什么意思

• 切消定理

• "théorème"中文翻译    音标：[teɔrεm] m. 定理 théorème (inverse, réciproque)
• "des"中文翻译    音标：[dε] art.
• "système d’élimination des agents chimiques de l’île johnston" 中文翻译 :    约翰斯顿岛化学制剂处置系统
• "théorème d'échantillonnage" 中文翻译 :    采样定理
• "théorème des 15" 中文翻译 :    15-定理
• "théorème des fonctions implicites" 中文翻译 :    隐函数定理
• "théorème des gendarmes" 中文翻译 :    夹挤定理
• "théorème des nombres pentagonaux" 中文翻译 :    五边形数定理
• "théorème des nombres premiers" 中文翻译 :    质数定理
• "théorème des quatre couleurs" 中文翻译 :    四色定理
• "théorème des quatre sommets" 中文翻译 :    四顶点定理
• "théorème des restes chinois" 中文翻译 :    中国剩余定理
• "théorème d'abel (analyse)" 中文翻译 :    阿贝尔定理
• "théorème d'ado" 中文翻译 :    Ado定理
• "théorème d'approximation universelle" 中文翻译 :    通用近似定理
• "théorème d'artin-wedderburn" 中文翻译 :    阿廷-韦德伯恩定理
• "théorème d'ascoli" 中文翻译 :    阿尔泽拉-阿斯科利定理
• "théorème d'earnshaw" 中文翻译 :    恩绍定理
• "théorème d'egoroff" 中文翻译 :    叶戈罗夫定理
• "théorème d'ehrenfest" 中文翻译 :    埃伦费斯特定理
• "théorème d'excision" 中文翻译 :    切除定理
• "théorème d'existence" 中文翻译 :    存在性定理
• "théorème d'hurewicz" 中文翻译 :    胡列维茨定理
• "théorème d'inversion locale" 中文翻译 :    反函数定理
• "théorème d'ostrowski" 中文翻译 :    奥斯特洛夫斯基定理

• Le théorème d'élimination des coupures stipule que toute déclaration qui possède une preuve dans le calcul des séquents, faisant usage de la règle de coupure, possède aussi une preuve sans coupure, à savoir, une preuve qui ne fait pas usage de la règle de coupure,.
  切削定理声称在相继式演算中，拥有利用了切规则的证明的任何判断，也拥有无切证明，就是说，不利用切规则的证明。